(clear_mouse_face): Only clear mouse highlight if not hidden.

diff --git a/src/xdisp.c b/src/xdisp.c
index 6711eb242cecb0746b98166e1e4d4f4d299e28e4..9c0434a681dcbe59c334bc256215298b934aea8f 100644 (file)
--- a/src/xdisp.c
+++ b/src/xdisp.c
@@ -19832,7 +19832,7 @@ clear_mouse_face (dpyinfo)
 {
   int cleared = 0;
 
-  if (!NILP (dpyinfo->mouse_face_window))
+  if (!dpyinfo->mouse_face_hidden && !NILP (dpyinfo->mouse_face_window))
     {
       show_mouse_face (dpyinfo, DRAW_NORMAL_TEXT);
       cleared = 1;